A Modal Logic for Reasoning about Possibilistic Belief Fusion
نویسندگان
چکیده
In this paper, we propose a modal logic for reasoning about possibilistic belief fusion. This is a combination of multiagent epistemic logic and possibilistic logic. We use graded epistemic operators to represent agents’ uncertain beliefs, and the operators are interpreted in accordance with possibilistic semantics. We employ ordered fusion based on a level skipping strategy to resolve the inconsistency caused by direct fusion; that is, the level at which the inconsistency occurs is skipped. Here, we present the formal semantics and an axiomatic system for the logic.
منابع مشابه
Ordered Belief Fusion in Possibilistic Logic
In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic logic. We use graded epistemic operators to represent agents’ uncertain beliefs, and the operators are interpreted in accordance with possibilistic semantics. Ordered fusion can resolve the inconsistency caused by direct fusio...
متن کاملModal logics for qualitative possibility theory
Possibilistic logic has been proposed as a numerical formalism for reasoning with uncertainty. There has been interest in developing qualitative accounts of possibility, as well as an explanation of the relationship between possibility and modal logics. We present two modal logics that can be used to represent and reason with qualitative statements of possibility and necessity. These logics hav...
متن کاملar X iv : c s . A I / 02 01 02 0 v 1 23 J an 2 00 2 A Modal Logic Framework for Multi - agent Belief Fusion ∗
This paper is aimed at providing a uniform framework for reasoning about beliefs of multiple agents and their fusion. In the first part of the paper, we develop logics for reasoning about cautiously merged beliefs of agents with different degrees of reliability. The logics are obtained by combining the multi-agent epistemic logic and multi-sources reasoning systems. Every ordering for the relia...
متن کاملPossibilistic Reasoning - A Mini-Survey and Uniform Semantics
In this paper, we survey some quantitative and qualitative approaches to uncertainty management based on possibility theory and present a logical framework to integrate them. The semantics of the logic is based on the Dempster’s rule of conditioning for possibility theory. It is then shown that classical modal logic, conditional logic, possibilistic logic, quantitative modal logic and qualitati...
متن کاملA modal logic for fusing partial beliefof multiple
We present PL n , a multi-agent epistemic logic where each agent can perform uncertain (possibilistic) reasoning. The original feature of this logic is the presence of a distributed belief operator, with the purpose of merging the belief of diierent agents. Unlike the corresponding operator in the categorical (non-uncertain) case, our distributed belief operator accumulates support for the same...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005